Oral history interview with Leon Henkin, 1984 May 18.

ArchivalResource

Oral history interview with Leon Henkin, 1984 May 18.

Tucker and Henkin talk about John Addison, who became Alonzo Church's son-in-law. As an undergraduate at Princeton Addison became committed to mathematics as a result of taking Church's course in logic. Tucker tells how he helped bring it about that Addison did graduate work at the University of Wisconsin with Stephen Kleene.

Transcript : 2 p.

Information

SNAC Resource ID: 7885771

University of Minnesota, Minneapolis

Related Entities

There are 6 Entities related to this resource.

Addison, J. W. (John West), 1930-

http://n2t.net/ark:/99166/w6t46tkg (person)

Tucker, Albert W. (Albert William), 1905-1995

http://n2t.net/ark:/99166/w6rr2qfh (person)

Professor of mathematics at Princeton University. From the description of Oral history interview with Albert W. Tucker, 1986 May 8. (University of Minnesota, Minneapolis). WorldCat record id: 63306961 Mathematician. From the description of Oral history interview with Albert W. Tucker, 1984 Apr. 10. (University of Minnesota, Minneapolis). WorldCat record id: 63297202 From the description of Oral history interview with Albert W. Tucker, 1984 Oct. 9. (Unive...

Henkin, Leon.

http://n2t.net/ark:/99166/w6ht5phn (person)

Mathematician. From the description of Oral history interview with Leon Henkin, 1984 May 18. (University of Minnesota, Minneapolis). WorldCat record id: 63297196 ...

Kleene, Stephen Cole, 1909-1994

http://n2t.net/ark:/99166/w65t4dzp (person)

Logicians. From the description of Oral history interview with Stephen Cole Kleene and J. Barkley Rosser, 1984 Apr. 26. (University of Minnesota, Minneapolis). WorldCat record id: 63283809 ...

Aspray, William,

http://n2t.net/ark:/99166/w6ws99bf (person)

Church, Alonzo, 1903-1995

http://n2t.net/ark:/99166/w6320nsm (person)

Mathematician. From the description of Oral history interview with Alonzo Church, 1984 May 17. (University of Minnesota, Minneapolis). WorldCat record id: 63283803 ...